#ifndef gui__desktop_h
#define gui__desktop_h

#include <gui/widget.h>
#include <drivers/mouse.h>

OS_NAMESPACE_BEGIN

OS_NAMESPACE_END

#endif // header file
